#define _CRT_SECURE_NO_WARNINGS 01
//#include <stdio.h>
//
//int main()
//{
//    int a[4] = { 0 };
//    for (int i = 0; i < 4; i++)
//    {
//        scanf("%d", &a[i]);
//    }
//    for (int i = 1; i < 4; i++)
//        for (int j = 0; i < j; j++)
//        {
//            int temp = 0;
//            if (a[j] > a[j + 1])
//            {
//                temp = a[j];
//                a[j] = a[j + 1];
//                a[j + 1] = temp;
//            }
//        }
//    printf("%d", a[3]);
//    return 0;
//}

#include <stdio.h>

int main() {
    double money;
    int a, b, c;
    while (scanf("%lf %d %d %d", &money, &a, &b, &c) != EOF)
    {
        double sum = 0;
        if (a == 11 && b == 11)
        {
            sum = (money * 0.7);
        }
        else if ((a == 12 && b == 12))
        {
            sum = (money * 0.8);
        }
        if ((c == 1 && a == 11 && b == 11) || (c == 1 && a == 12 && b == 12))
            sum = sum - 50;
        if (sum > 0)
            printf("%.2lf\n", sum);
        else
            printf("%.2lf\n", 0.00);
    }
    return 0;
}

//#include <stdio.h>
//
//
//int main()
//{
//    int a[4] = { 0 };
//    for (int i = 0; i < 4; i++)
//    {
//        scanf("%d", &a[i]);
//    }
//    for (int i = 0; i < 3; i++)
//        for (int j = 0; j < 3 - i; j++)
//        {
//            if (a[j] > a[j + 1])
//            {
//                int temp = a[j];
//                a[j] = a[j + 1];
//                a[j + 1] = temp;
//            }
//        }
//    printf("%d", a[3]);
//    return 0;
//}